#ifndef __MEMSTACK_H_
#define __MEMSTACK_H_

#include "rtx_inc.h"
#include "memory.h"

VOID push(MEMORY* mem);
MEMORY* pop_memory();

#endif
